e5ef379fac414fd47c90251a50c086db139311be,plugins/org.eclipse.xtext/src/org/eclipse/xtext/parsetree/reconstr/impl/TreeConstNFAToDot.java,TreeConstNFAToDot,drawAbstractElementTree,#AbstractElement#Digraph#,23
Before Change
if (nfas.getFollowers().size() == 0
&& nfas.getParentFollowers().size() == 0 && !nfas.isEndState())
n.setStyle("dotted");
if (nfas.isEndState())
n.put("peripheries", "2");
return n;
After Change
d.add(drawFollowerEdge(ele, t, true));
if (nfas.getStatInt() != Status.ENABLED)
n.setStyle("dashed");
if (nfas.isEndState())
n.put("peripheries", "2");
setStatusStyle(n, nfas.getStatus());